GSM+T: A Timed Artifact-Centric Process Model

We introduce an extension to the declarative and artifact-centric Guard Stage Milestone (GSM) process modeling language to represent temporal aspects (duration, deadlines, lower- and upper-bound constraints), define the correctness of executions of GSM processes with respect to temporal constraints, check controllability of processes, compute execution plans respecting temporal constraints, and provide a translation method allowing to execute controllable GSM+T processes on standard GSM Engines

Negotiating Temporal Commitments in Cross-Organizational Business Processes

Cross-organizational business processes emerge from the cooperation of intra-organizational business processes through exchange of messages. The involved parties agree on communication protocols, which contain in particular temporal constraints: as obligations on one hand, and as guarantees on the other hand. These constraints form also requirements for the design of the hidden implementation of the processes and are the basis for control decisions for each party. We present a comprehensive methodology for modeling the temporal aspects of cross-organizational business processes, checking dynamic controllability of such processes, and supporting the negotiation of temporal commitments. We do so by computing the consequences of temporal constraints in choreographies, and by computing the weakest preconditions for the dynamic controllability of a participating process

28th International Symposium on Temporal Representation and Reasoning (TIME 2021)

The 28th International Symposium on Temporal Representation and Reasoning (TIME 2021) was planned to take place in Klagenfurt, Austria, but had to move to an online conference due to the insecurities and restrictions caused by the pandemic. Since its frst edition in 1994, TIME Symposium is quite unique in the panorama of the scientifc conferences as its main goal is to bring together researchers from distinct research areas involving the management and representation of temporal data as well as the reasoning about temporal aspects of information. Moreover, TIME Symposium aims to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artifcial intelligence, database management, logic and verifcation, and beyond

Ausstieg aus der ÖPUL-Maßnahme biologische Wirtschaftsweise

The end of the first five-year contract period of the Austrian Agri-environmental Program (ÖPUL) caused a number of farmers to opt out of the measure organic farming at the end of 1999 and in the following years. A survey was made in 2003 to explore the reasons for reverting to conventional farming. The three most important reasons were the high cost of organic grain for feed, the lack of price premia for organic products (mostly beef and milk) and the frequency of changes in organic standards. Most respondents operate grassland-based dairy farms in Alpine regions. The average size of the farms opting out was 12,0 ha

Dynamic Controllability of Parameterized CSTNUs

A Conditional Simple Temporal Network with Uncertainty (CSTNU) models temporal constraint satisfaction problems in which the environment sets uncontrollable timepoints and conditions. The executor observes and reacts to such uncontrollable assignments as time advances with the CSTNU execution. However, there exist scenarios in which the occurrence of some future timepoints must be fixed as soon as the execution starts. We call these timepoints \textit{parameters}. For a correct execution, parameters must assume values that guarantee the possibility of satisfying all temporal constraints, whatever the environment decides the execution time for uncontrollable timepoints and the truth value of conditions, i.e., dynamic controllability (DC). Here, we formalize the extension of the CSTNU with parameters. Furthermore, we define a set of rules to check the DC of such extended CSTNU. These rules additionally solve the problem inverse to checking DC: computing restrictions on parameter values that yield DC guarantees. The proposed rules can be composed into a sound and complete procedure

Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties

Simple Temporal Networks with Uncertainty (STNU) are an expressive means to represent temporal constraints, requirements, or obligations. They feature contingent timepoints, which are set by the environment with a specified interval. Dynamic controllability is the current most relaxed notion for checking that the constraints are not in conflict. It requires that a timepoint may only depend on earlier timepoints. Agile controllability extends dynamic controllability by taking into account that a later timepoint might already be known earlier and allowing a timepoint to depend on all timepoints whose value is known before. In this report, we formally introduce the notion of an STNU with oracle timepoints, formally define the notion of agile controllability, and discuss approaches for checking agile controllability

Lunar cycles and rainy seasons drive growth and reproduction in nummulitid foraminifera, important producers of carbonate buildups

Representatives of the foraminifer Nummulites are important in Earth history for timing Cenozoic shallow-water carbonates. Taphonomic complexity explains the construction of carbonate buildups, but reproduction and life span of the constructing individuals are unknown. During the 15-month investigation period, asexually reproduced schizonts and gamonts showed equal proportions in the first half of this period, whereas gamonts predominated in the second half. Oscillations in cell growth are mainly caused by light intensities during chamber construction when minor differences in water depth increase the photosynthetic rate of endosymbiotic diatoms during neap tides. The continuous reproduction rate of N. venosus throughout the year is increased in subtropical calms by higher summer temperatures and the marginal input of inorganic nutrients during rainy seasons. The expected life span of both gamonts and schizonts are 18 month

Calculation of Delay Times for Workflows with Fixed-Date Constraints

Abstract Workflow participants are faced with the problem to select one out many work items in their worklist. The decision to execute one specific work item implicitly postpones the execution of all other items. This may lead to disproportionately increased execution durations of the associated workflows, especially if fixed-date constraints are defined on succeeding tasks. In this paper we show how to utilize a workflows control structure augmented with information about timing behavior to calculate what delay to expect when the execution of a work item is postponed to certain dates. This information can be used to assist the participant in order to increase the workflow throughput and avoid time-related escalations